perm filename N1EX1.PRF[1,JRA] blob sn#037359 filedate 1973-04-19 generic text, type T, neo UTF8
CHOICE-STRATEGY-IS: 
P1;

EDIT-STRATEGY-IS: 
LENGTH[1];

ELAPSED-TIME =1133

NIL 1 2
1 P(G21(x),x);G2
2 P(x,z)∧P(z,y)⊃G(x,y);G1